Open House in Unusual Automata Theory, January 1972

Effective Date of Grant 1 1 January 1972

Low duty-cycle pulsed d.c. switching experiments have been performedon a variety of thin film Te-based semiconducting glasses. No premonitoryeffects are observed in the current-time profile of the non-switching OFFstate. If, however, the threshold voltage is exceeded, a continuouscurrent increase with time throughout the normal delay-time regime(pre-switching OFF state) is a...

Sics Open House 2014

Unambiguity in Automata Theory

Determinism of devices is a key aspect throughout all of computer science, simply because of considerations of efficiency of the implementation. One possible way (among others) to relax this notion is to consider unambiguous machines: non-deterministic machines that have at most one accepting run on each input. In this paper, we will investigate the nature of unambiguity in automata theory, pre...

Finite Automata Theory in

We describe here a development in the system Coq of a piece of Finite Automata Theory. The main result is the Kleene's theorem, expressing that regular expressions and nite automata deene the same languages. From a constructive proof of this result, we automatically obtain a functional program that compiles any regular expression into a nite automata, which constitutes the main part of the impl...

Investigating Accidents in the Home *A paper read to The Bristol Medico-Chirurgical Society January 1972.

The value of on-the-spot study of accidents as a research method has been well established for road traffic, for aircraft and for railway accidents (States and States 1968, Robertson, Mclean and Ryan 1966, Jamieson et al. 1971, Kolbuszewski et al. 1969, Hadon, Suchmann and Klein 1964, De Haven 1942). The methods were developed in these fields as a result of the need for closer scientific scruti...